Analysis of Modeling Techniques used for Translating Natural Language Specification into Formal Software Requirements
نویسندگان
چکیده
منابع مشابه
Analysis of Modeling Techniques used for Translating Natural Language Specification into Formal Software Requirements
The prerequisite to any software development process is to first capture and understand the intended behaviour of the software solution based on the gathered requirements and understanding the constraints related to it. Hence requirement engineering becomes a very crucial step. Requirements are specified in Natural language by the user and it has to be translated to a formal representation for ...
متن کاملAutomatic Transition of Natural Language Software Requirements Specification into Formal Presentation
Software requirements specification is a critical activity of the software process, as errors at this stage inevitably lead to problems later on in system design and implementation. The requirements are written in natural language, with the potential for ambiguity, contradiction or misunderstanding, or simply an inability of developers to deal with a large amount of information. This paper prop...
متن کاملNLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications
This paper describes the NLForSpec, a Natural Language (NL) processing tool to translate software test cases descriptions in NL into a formal representation in CSP specification language. NLForSpec is part of a larger project which aims to automate test case generation, selection and evaluation for mobile phone applications. Our tool can be used in the process of update or partially generate re...
متن کاملSNL2Z: Tool for Translating an Informal Structured Software Specification into Formal Specification
In the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool for tran...
متن کاملTranslating Natural Language into Ontology
In this paper, we present a natural language translator for ontologies and ensure that it is a viable solution to the automated acquisition of ontologies and complete axioms, constituting an effective solution for automating the expressive ontology building Process. The translator is based on syntactic and semantic text analysis. The viability of our approach is demonstrated through the generat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2015
ISSN: 0975-8887
DOI: 10.5120/19792-1570